
add_executable(test_reg "test_reg.cpp")
target_link_libraries(test_reg otawa ${LIBELM})
